THE COMPLEXITY OF SATISFACTION PROBLEMS IN REVERSE MATHEMATICS LUDOVIC PATEY Abstract. Satisfiability problems play a central role in computer science and engineering as a general framework for studying the complexity of

Source URL: ludovicpatey.com

• Automated theorem proving
• Logic programming
• Logic in computer science
• Boolean algebra
• Model theory
• Substitution
• Boolean satisfiability problem
• Interpretation
• Relationships among probability distributions
• Lifting theory

RAMSEY’S THEOREM FOR SINGLETONS AND STRONG COMPUTABLE REDUCIBILITY DAMIR D. DZHAFAROV, LUDOVIC PATEY, REED SOLOMON, AND LINDA BROWN WESTRICK Abstract. We answer a question posed by Hirschfeldt and Jockusch by showing

Source URL: ludovicpatey.com

• Mathematics
• Mathematical analysis
• Differential forms
• Constructible universe
• Closed and exact differential forms
• Computability theory
• Combinatory logic
• Ordinal number
• Differential forms on a Riemann surface
• Banach fixed-point theorem

OPEN QUESTIONS ABOUT RAMSEY-TYPE STATEMENTS IN REVERSE MATHEMATICS LUDOVIC PATEY Abstract. Ramsey’s theorem states that for any coloring of the n-element subsets of N with finitely many colors, there is an infinite set

Source URL: ludovicpatey.com

• Computability theory
• Mathematical logic
• Proof theory
• Theory of computation
• Logic in computer science
• Computable function
• Reverse mathematics
• PA degree
• Peano axioms

ON THE LOGICAL STRENGTHS OF PARTIAL SOLUTIONS TO MATHEMATICAL PROBLEMS LAURENT BIENVENU, LUDOVIC PATEY, AND PAUL SHAFER ABSTRACT. We use the framework of reverse mathematics to address the question of, given a mathematic

Source URL: ludovicpatey.com

• Computability theory
• Logic
• Proof theory
• Mathematics
• Mathematical logic
• Reverse mathematics
• Model theory
• Philosophy of mathematics
• Symbol
• Fixed-point theorems
• Primitive recursive functional
• Generalised Whitehead product

The Logic of Stone Spaces John Harding and Guram Bezhanishvili New Mexico State University www.math.nmsu.edu/JohnHarding.html

Source URL: spot.colorado.edu

• Mathematics
• Algebra
• Structure
• General topology
• Abstract algebra
• Modal logic
• Order theory
• Boolean algebra
• Interior algebra
• Closure
• Preorder
• Topological space

A Fuzzy Approach For The 2007 CIG Simulated Car Racing Competition Duc Thang Ho and Jonathan M. Garibaldi Abstract— This paper describes the techniques that have been used by the winning entry of the 2007 IEEE Congress

Source URL: www.csse.uwa.edu.au

• Systems science
• Systems theory
• Science and technology
• Fuzzy logic
• Control engineering
• Automation
• Cybernetics
• Control theory
• Fuzzy control system
• Fuzzy set
• Controller
• Lotfi A. Zadeh

Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning Ralf Jung David Swasey

Source URL: plv.mpi-sws.org

• Algebra
• Abstract algebra
• Mathematics
• Semigroup theory
• Monoid
• Monad
• Separation logic
• Invariant
• Modal logic
• Free monoid
• Syntactic monoid

On the uniform one-dimensional fragment Antti Kuusisto University of Bremen, Germany, Abstract. The uniform one-dimensional fragment of first-order logic, U1 , is a recently introduced formalism th

Source URL: ceur-ws.org

COLORING THE RATIONALS IN REVERSE MATHEMATICS EMANUELE FRITTAION AND LUDOVIC PATEY Abstract. Ramsey’s theorem for pairs asserts that every 2-coloring of the pairs of integers has an infinite monochromatic subset. In th

Source URL: ludovicpatey.com

• Mathematics
• Mathematical analysis
• Logic in computer science
• Differential forms
• Combinatory logic
• Lambda calculus
• Peano axioms
• Closed and exact differential forms
• Differential forms on a Riemann surface
• Banach fixed-point theorem

Synthesizing Bots Emotional Behaviors through Fuzzy Cognitive Processes Giovanni Acampora, Member, IEEE, Fabio Ferraguto, and Vincenzo Loia , Senior Member, IEEE Abstract— Video games are one of the most significative

Source URL: game.itu.dk

• Artificial intelligence
• Control engineering
• Fuzzy logic
• Logic in computer science
• Fuzzy control system
• Timed automaton
• Petri net
• Control system
• Finite-state machine
• Emotion
• Computational intelligence